Optimal. Leaf size=210 \[ \frac{(a+b x) (g (a+b x))^m (i (c+d x))^{-m} \left (B \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+A\right )^2}{i^2 (m+1) (c+d x) (b c-a d)}-\frac{2 B n (a+b x) (g (a+b x))^m (i (c+d x))^{-m} \left (B \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+A\right )}{i^2 (m+1)^2 (c+d x) (b c-a d)}+\frac{2 B^2 n^2 (a+b x) (g (a+b x))^m (i (c+d x))^{-m}}{i^2 (m+1)^3 (c+d x) (b c-a d)} \]
[Out]
________________________________________________________________________________________
Rubi [F] time = 1.21513, antiderivative size = 0, normalized size of antiderivative = 0., number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0., Rules used = {} \[ \int (a g+b g x)^m (c i+d i x)^{-2-m} \left (A+B \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )\right )^2 \, dx \]
Verification is Not applicable to the result.
[In]
[Out]
Rubi steps
\begin{align*} \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \left (A+B \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )\right )^2 \, dx &=\int \left (A^2 (213 c+213 d x)^{-2-m} (a g+b g x)^m+2 A B (213 c+213 d x)^{-2-m} (a g+b g x)^m \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+B^2 (213 c+213 d x)^{-2-m} (a g+b g x)^m \log ^2\left (e \left (\frac{a+b x}{c+d x}\right )^n\right )\right ) \, dx\\ &=A^2 \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \, dx+(2 A B) \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right ) \, dx+B^2 \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \log ^2\left (e \left (\frac{a+b x}{c+d x}\right )^n\right ) \, dx\\ &=\frac{A^2 (213 c+213 d x)^{-1-m} (a g+b g x)^{1+m}}{213 (b c-a d) g (1+m)}+\frac{2 A B (213 c+213 d x)^{-1-m} (a g+b g x)^{1+m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{213 (b c-a d) g (1+m)}-(2 A B) \int \frac{213^{-2-m} n (c+d x)^{-2-m} (a g+b g x)^m}{1+m} \, dx+B^2 \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \log ^2\left (e \left (\frac{a+b x}{c+d x}\right )^n\right ) \, dx\\ &=\frac{A^2 (213 c+213 d x)^{-1-m} (a g+b g x)^{1+m}}{213 (b c-a d) g (1+m)}+\frac{2 A B (213 c+213 d x)^{-1-m} (a g+b g x)^{1+m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{213 (b c-a d) g (1+m)}+B^2 \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \log ^2\left (e \left (\frac{a+b x}{c+d x}\right )^n\right ) \, dx-\frac{\left (2\ 213^{-2-m} A B n\right ) \int (c+d x)^{-2-m} (a g+b g x)^m \, dx}{1+m}\\ &=-\frac{2\ 213^{-2-m} A B n (c+d x)^{-1-m} (a g+b g x)^{1+m}}{(b c-a d) g (1+m)^2}+\frac{A^2 (213 c+213 d x)^{-1-m} (a g+b g x)^{1+m}}{213 (b c-a d) g (1+m)}+\frac{2 A B (213 c+213 d x)^{-1-m} (a g+b g x)^{1+m} \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )}{213 (b c-a d) g (1+m)}+B^2 \int (213 c+213 d x)^{-2-m} (a g+b g x)^m \log ^2\left (e \left (\frac{a+b x}{c+d x}\right )^n\right ) \, dx\\ \end{align*}
Mathematica [A] time = 2.07189, size = 134, normalized size = 0.64 \[ \frac{(a+b x) (g (a+b x))^m (i (c+d x))^{-m-1} \left (2 B (m+1) (A m+A-B n) \log \left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+B^2 (m+1)^2 \log ^2\left (e \left (\frac{a+b x}{c+d x}\right )^n\right )+A^2 (m+1)^2-2 A B (m+1) n+2 B^2 n^2\right )}{i (m+1)^3 (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 4.484, size = 0, normalized size = 0. \begin{align*} \int \left ( bgx+ag \right ) ^{m} \left ( dix+ci \right ) ^{-2-m} \left ( A+B\ln \left ( e \left ({\frac{bx+a}{dx+c}} \right ) ^{n} \right ) \right ) ^{2}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (B \log \left (e \left (\frac{b x + a}{d x + c}\right )^{n}\right ) + A\right )}^{2}{\left (b g x + a g\right )}^{m}{\left (d i x + c i\right )}^{-m - 2}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 0.651262, size = 2201, normalized size = 10.48 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int{\left (B \log \left (e \left (\frac{b x + a}{d x + c}\right )^{n}\right ) + A\right )}^{2}{\left (b g x + a g\right )}^{m}{\left (d i x + c i\right )}^{-m - 2}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]